Advances in Aeronautical Informatics by Umut Durak Jürgen Becker Sven Hartmann & Nikolaos S. Voros

Author:Umut Durak, Jürgen Becker, Sven Hartmann & Nikolaos S. Voros
Language: eng
Format: epub
Publisher: Springer International Publishing, Cham

Fig. 6.4Main OWL components of the AAO

DL operators are considered as different types of property restrictions in ontologies: (1) quantifier restrictions such as existential and universal restrictions, (2) has value restrictions (counting operators such as less than or equal to and more than or equal to), as well as (3) cardinality restrictions such as minimum and maximum cardinality restrictions. Also, complex classes can be created by means of simpler classes described based on logical operators like OR and AND.

Property restrictions along with classes and individuals are the building block to define axioms. Terminological axioms (usually based on operators such as inclusion, equivalence, etc.) are in the TBox, e.g., Aircraft_A subclass of AircraftcannotLand and AircraftcanTakeoff, and ClearSky subclass of GoodWeather and VeryGoodWeather. A set of assertional axioms (facts or assertions) are in ABox, e.g., AircraftcanLand equivalent to Aircraft and (hasRoute only Landing), and VeryGoodWeather equivalent to Weather and (ClearSky or CloudedSky).

The ABox and the TBox form the AAO knowledge base and are shown in Fig. 6.5. Details of the TBox and ABox axioms are available in [32].

Fig. 6.5AAO knowledge base: TBox and Abox

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.